/*
 * TimerDriver.h
 *
 * Created: 09.02.2013 11:12:43
 *  Author: victor
 */


#ifndef INCFILE1_H_
#define INCFILE1_H_

#include <Basetypes.h>

extern void TimerDrv_Init ( void );
extern void TimerDrv_ResetTimer1(u8 SecondsToCount);




#endif /* INCFILE1_H_ */